Toward Flexible Control of the Temporal Mapping from Concurrent Program Events to Animations

نویسندگان

  • Eileen Kraemer
  • John T. Stasko
چکیده

As parallel and distributed computers become more widely available and used, the already important process of understanding and debugging concurrent programs will take on even greater importance. We believe that visualization can help in the process. In this paper we discuss heretofore unaddressed issues in the visualization of concurrent programs, and present the Animation Choreographer. The Animation Choreographer allows users to view, manipulate, and explore the set of alternate feasible orderings of the program execution under study, both through the Choreographer interface and in the context of the selected visualizations, thus providing the user with a variety of temporal perspectives on the computation.

برای دانلود رایگان متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید

ثبت نام

اگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید

منابع مشابه

نقش حروف ربط زمان دار در تعیین رابطۀ زمانی بین رویدادهای فعلی در پیکرۀ متون زبان فارسی معاصر

This paper involves in prediction of temporal relation between tensed-verb events on the basis of conjunctions in texts. For this purpose, tensed verb event data were extracted from Contemporary Persian Corpus and were examined carefully. The temporal relations between events were identified. After analyzing data on the basis of temporal relation according to Bird’s and Allen’s categorization, ...

متن کامل

Spatio-temporal agent based simulation of COVID-19 disease and investigating the effect of vaccination (case study: Urmia)

Proper management of epidemic diseases such as Covid-19 is very important because of its effects on the economy, culture and society of nations. By applying various control strategies such as closing schools, restricting night traffic and mass vaccination program, the spread of this disease has been somewhat controlled but not completely stopped. The main goal of this research is to provide a f...

متن کامل

Optimal Power Flow in the Smart Grid Using Direct Load Control Program

This paper proposes an Optimal Power Flow (OPF) algorithm by Direct Load Control (DLC) programs to optimize the operational cost of smart grids considering various scenarios based on different constraints. The cost function includes active power production cost of available power sources and a novel flexible load curtailment cost associated with DLC programs. The load curtailment cost is based ...

متن کامل

Flexible Interval Planning in Concurrent Temporal Golog

In this paper we present an approach to flexible planning and scheduling based on a suitable mapping of the Constraint Based Interval Planning paradigm [7, 2] into the Situation Calculus. We show how this representation is particular suitable for executive control processes, and illustrate this with an example.

متن کامل

Nets, logic and concurrent object-oriented programming

This paper introduces a temporal logic based on precedence constraints among events which captures net semantics, i.e. a particular net can be mapped into a semantic-equivalent formula in the logic. Tempo, a declarative concurrent programming language, is based on such logic and has a procedural interpretation which allows speciications to be executed as concurrent programs. Thus, the execution...

متن کامل

ذخیره در منابع من


  با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید

عنوان ژورنال:

دوره   شماره 

صفحات  -

تاریخ انتشار 1994